“It’s Doing the Right Thing”: David Cameron’s Rhetoric of Responsibility. Dr. David S. Moon University of Liverpool [very early draft – do not cite without permission]

Source URL: www.psa.ac.uk

Schema.org as a Description Logic Andre Hernich1 , Carsten Lutz2 , Ana Ozaki1 and Frank Wolter1 1 2 University of Liverpool, UK

Source URL: www.informatik.uni-bremen.de

39th International Wolfenbüttel Summer Course Early Modern European Black Studies Herzog August Bibliothek Wolfenbüttel, 26th July - 8th August 2015 Convenor: Professor Eve Rosenhaft (University of Liverpool) Applicati

Source URL: www.caar-web.org

Military Moustaches on Microfilm Alexander Morrison (University of Liverpool, UK / foreign fellow, SRC, 2010) I am a novice when it comes to funding applications and research proposals. The college I am a novice when it

Source URL: src-h.slav.hokudai.ac.jp

First-Order Logic for the Analysis of Programs on Weak Memory Models Alexei Lisitsa Department of Computer Science University of Liverpool, Liverpool, UK

Source URL: www.ai4fm.org

• Model checking
• First-order logic
• Mathematical logic
• Logic in computer science
• Formal methods
• Theory of computation

Tackling Fibonacci words puzzles by finite countermodels Alexei Lisitsa1 Department of Computer Science, The University of Liverpool

Source URL: cgi.csc.liv.ac.uk

• Mathematics
• Logic
• Mathematical logic
• Model theory
• Fibonacci numbers
• Algebraic structures
• Semigroup theory
• Fibonacci word
• First-order logic
• Semigroup
• Interpretation
• Combinatory logic

Verification as Specialization of Interpreters with Respect to Data Alexei P. Lisitsa1 and Andrei P. Nemytykh2? 1 Department of Computer Science, The University of Liverpool

Source URL: meta2008.pereslavl.ru

SCAN is complete for all Sahlqvist formulae? V. Goranko1, U. Hustadt2 , R. A. Schmidt3 and D. Vakarelov4 1 Rand Afrikaans University, South Africa University of Liverpool, UK,

Source URL: www.cs.man.ac.uk

Labelled Tableaux for Temporal Logic with Cardinality Constraints Clare Dixon, Boris Konev University of Liverpool, UK {CLDixon, Konev}@liverpool.ac.uk

Source URL: www.cs.man.ac.uk

Third International Population Geographies Conference University of Liverpool, 19-21 June 2006 The Conference is organised by the Population Geography Research Group (PopGRG) of the Royal Geographical Society (with the I

Source URL: www.geog.leeds.ac.uk